#descomposición verificable